формальный синтаксис

формальный синтаксис

3.4.1 формальный синтаксис: Спецификация точно сформулированных предложений формального языка с применением формальной грамматики.

Примечание 1 - Формальный язык - это машинно-ориентированный язык с интерпретированием.

Примечание 2 - Формальная грамматика - это, как правило, контекстно-свободная грамматика Chomsky.

Примечание 3 - Варианты формы Бекуса-Наура (BNF), такие как фактическая форма Бекуса-Наура (ABNF) и WSN, часто применяют для определения синтаксиса языка программирования и языка данных.

6.1 формальный синтаксис: Спецификация правильных предложений формального языка с применением формальной грамматики.

Примечание 1 -Формальный язык - это машинно-интерпретируемый язык.

Примечание 2 - Формальная грамматика - это обычно контекстно-свободная грамматика Хомского.

Примечание 3 - Варианты нормальной формы Бэкуса-Наура (BNF), такие как ABNF и WSN, часто применяются для определения синтаксиса языков программирования для вычислительных машин и для языков управления данными.


Словарь-справочник терминов нормативно-технической документации. . 2015.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "формальный синтаксис" в других словарях:

  • ГОСТ Р ИСО/ТС 8000-1-2009: Качество информационных данных. Часть 1. Обзор — Терминология ГОСТ Р ИСО/ТС 8000 1 2009: Качество информационных данных. Часть 1. Обзор: 3.9.2 данные о продукции: Данные о продукции, представленные в соответствующей форме, удобной для передачи, интерпретации или обработки. Определения термина… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р ИСО 8000-102-2011: Качество данных. Часть 102. Основные данные. Обмен данными характеристик. Словарь — Терминология ГОСТ Р ИСО 8000 102 2011: Качество данных. Часть 102. Основные данные. Обмен данными характеристик. Словарь оригинал документа: 5.7 авторитетный источник данных: Владелец процесса, производящего данные. Определения термина из разных… …   Словарь-справочник терминов нормативно-технической документации

  • ИНТЕНСИОНАЛЬНАЯ ЛОГИКА —     ИНТЕНСИОНАЛЬНАЯ ЛОГИКА область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает… …   Философская энциклопедия

  • Грамматика — (греч. γραμματική, от γράμμα  буква, написание)  1) строй языка, т. е. система морфологических категорий и форм, синтаксических категорий и конструкций, способов словопроизводства. В триаде, организующей язык в целом  в его звуковой, лексико… …   Лингвистический энциклопедический словарь

  • КАРНАП — (Carnap) Рудольф (1891 1970) немецко американский философ и логик. В 1910 1914 изучал физику и математику в университетах Фрейбурга и Йены. Докторская степень за работу Пространство’ (1921). Преподавал философию в Венском университете (с 1926) и… …   История Философии: Энциклопедия

  • КАРНАП Рудольф (1891-1970) — немецко американский философ и логик. В 1910 1914 изучал физику и математику в университетах Фрейбурга и Йены. Докторская степень за работу Пространство (1921). Преподавал философию в Венском университете (с 1926) и Немецком университете в Праге… …   История Философии: Энциклопедия

  • Регулярные выражения — (англ. regular expressions, сокр. RegExp, RegEx, жарг. регэкспы или регексы)  это формальный язык поиска и осуществления манипуляций с подстроками в тексте, основанный на использовании метасимволов (символов джокеров,… …   Википедия

  • Морфология (лингвистика) — У этого термина существуют и другие значения, см. Морфология.   …   Википедия

  • Параметр (программирование) — У этого термина существуют и другие значения, см. Параметр (значения). Параметр в программировании принятый функцией аргумент. Термин «аргумент» подразумевает, что конкретно и какой конкретной функции было передано, а параметр в каком качестве… …   Википедия

  • Рецензии на Грамматический словарь Н. Н. Дурново —  *** Кроме публикуемых в настоящем издании рецензий, вышли в свет и другие отзывы на «Грамматический словарь», см.: Булаховский Д. [Рец.] // Путь просвещения. № 9. Харьков, 1924. С. 238–240; Кульбакин С. |Рец.) // Jужнословенски филолог. Кн>.… …   Грамматический словарь: Грамматические и лингвистические термины


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»